/**
 * \file kernel/include/syscall.h
 * \author Davide Gessa
 * \date 10-12-09
 */
#ifndef SYSCALL_H
#define SYSCALL_H

#include <util.h>
#include <types.h>

#define SYSCALL_INT					0x84


/**
 * Struttura di una syscall
 */
typedef struct
{
	char name[32];			///< Nome della syscall
	uint32_t (*call)();		///< Call
} syscall_t;


void syscall_callback(regs_t *);
int syscall_call(uint32_t, uint32_t, uint32_t, uint32_t);
void syscall_init();

#endif
